inferred clause

См. также в других словарях:

• Delayed clause construction — (DCC) is a method of improving the efficiency of automated theorem provers. Used in the CARINE theorem prover, DCC is a stalling strategy that enhances a theorem prover s performance by reducing the work to construct clauses to a minimum. Instead …   Wikipedia

• Dormant Commerce Clause — The Dormant Commerce Clause, also known as the Negative Commerce Clause, is a legal doctrine that courts in the United States have inferred from the Commerce Clause in Article I of the United States Constitution. The Commerce Clause expressly… …   Wikipedia

• Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …   Universalium

• Blessed Virgin —     The Blessed Virgin Mary     † Catholic Encyclopedia ► The Blessed Virgin Mary     The Blessed Virgin Mary is the mother of Jesus Christ, the mother of God.     In general, the theology and history of Mary the …   Catholic encyclopedia

• Mother of God —     The Blessed Virgin Mary     † Catholic Encyclopedia ► The Blessed Virgin Mary     The Blessed Virgin Mary is the mother of Jesus Christ, the mother of God.     In general, the theology and history of Mary the M …   Catholic encyclopedia

• The Blessed Virgin Mary —     The Blessed Virgin Mary     † Catholic Encyclopedia ► The Blessed Virgin Mary     The Blessed Virgin Mary is the mother of Jesus Christ, the mother of God.     In general, the theology and history of Mary the Mother of God follow the… …   Catholic encyclopedia

• ancient Greek civilization — ▪ historical region, Eurasia Introduction       the period following Mycenaean civilization, which ended in about 1200 BC, to the death of Alexander the Great, in 323 BC. It was a period of political, philosophical, artistic, and scientific… …   Universalium

• Ionians (The) — The Ionians Malcolm Schofield THALES AND OTHERS The Greeks agreed that philosophy had begun with Thales. However they did not know much about his views.1 What survives is mostly a potent legend. Herodotus tells stories of his practical ingenuity …   History of philosophy

• City and Westminster Properties (1934) Ltd v Mudd — Court High Court Citation(s) [1959] Ch 129 Case opinions Harman …   Wikipedia

• Granholm v. Heald — SCOTUSCase Litigants=Granholm v. Heald ArgueDate=December 7 ArgueYear=2004 DecideDate=May 16 DecideYear=2005 FullName=Jennifer M. Granholm, Governor of Michigan, et al., Petitioners v. Eleanor Heald, et al.; Michigan Beer Wine Wholesalers… …   Wikipedia

• Comparison of C Sharp and Java — The correct title of this article is Comparison of C# and Java. The substitution or omission of the # sign is because of technical restrictions. Programming language comparisons General comparison Basic syntax Basic instructions …   Wikipedia